#include "ourhdr.h"

int main(){
	printf("hello world from process ID %d\n",getpid());
	return 0;
}
